index [ ]
)
=>
T
[Abstract feature]
¶Precondition
pre
safety: 0 ≤ i1.as_i64 < length0
safety: 0 ≤ i2.as_i64 < length1
safety: is_accessible
Type Parameters
Arguments
0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)
last changed: 2026-11-04